منابع مشابه
A logical basis for constructive systems
The work is devoted to Computability logic (CoL) — the philosophical/mathematical platform and long-term project for redeveloping classical logic after replacing truth by computability in its underlying semantics. This article elaborates some basic complexity theory for the CoL framework. Then it proves soundness and completeness for the deductive system CL12 with respect to the semantics of Co...
متن کاملA Basis for the Constructive Approach to Programming
Although programming is a difficult and creative activity, useful strategies and heuristics exist for solving programming problems. We analyse some of the most fundamental and productive among them; their knowledge and conscious application should help the programmers in constructing programs, both by stimulating their thinking and by helping them to recognise classical situations. The precise ...
متن کاملA Green Theology? Theology and Ecology
A would adopt a new fashion, j u m p on a new bandwagon. At best it would endorse somewhat bela tedly--abst ract policies of resource management . At worst, it would blunder into grossly Selfish ecological programmes which effectively serve the interest of the rich and the powerful. There are m a n y shades of green! Some ecological policies are unacceptable in that they overlook disadvantaged ...
متن کاملinvestigating the integration of translation technologies into translation programs in iranian universities: basis for a syllabus design in translation technology
today, information technology and computers are indispensable tools of any profession and translation technologies have become an indispensable part of translator’s workstation. with the increasing demands for high productivity and speed as well as consistency and with the rise of new demands for translation and localization, it is necessary for translators to be familiar with market demands an...
A Constructive Version of the Hilbert Basis Theorem
The Hilbert Basis Theorem was the first major example of a non-constructive proof recognized in mathematics. Gordan said, on the subject of the theorem, “das ist keine Mathematik, das ist Theologie!” — “this is not Mathematics, this is Theology!” [8] Although there are several equivalent statements of the theorem, in this paper we will consider the version which states, in essence, that all rin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Philosophical Review
سال: 1914
ISSN: 0031-8108
DOI: 10.2307/2178593